Project Report on “My Helper”
نویسندگان
چکیده
منابع مشابه
Report on my research activities
Level 0 considers logical formulas as data types, and conversely data types as logical specification of program behaviors. Level −1 associates programs with proofs, in a way that the hypotheses of a proof give the specifications of the inputs of the correspondent program and the thesis gives the type of the output. At last, level −2 states a correspondence between the cut reduction of proofs an...
متن کاملReport on ACQUIRE project
Querying in wireless sensor networks is tightly linked to how data is stored among the sensor nodes. There has been considerable work in the literature that treats a sensor network as a distributed database and proposes schemes that store data in a structured fashion ([1], [2], [3], [4]). Querying in such scenarios reduces to efficient retrieval of data from this distributed database. The other...
متن کاملScientific Report on Project Implementation
Some of the papers produced in this stage were written by international collaboration with Barnabas Bede, from DigiPen Institute of Technology, Department of Mathematics, Redmond, WA, USA, Marek Gagolewski and Przemyslaw Grzegorzewska from Systems Research Institute, Polish Academy of Sciences and the Faculty of Mathematics and Computer Science of the Technical University of Warsaw, Luciano Ste...
متن کاملReport on the XBase Project
This project addressed the conceptual fundamentals of data storage, investigating techniques for provision of highly generic storage facilities that can be tailored to produce various individually customised storage infrastructures, compliant to the needs of particular applications. This requires the separation of mechanism and policy wherever possible. Aspirations include: actors, whether user...
متن کاملStatus Report on Sparc Project
We review the status of FEL source activity of the ongoing SPARC FEL experiment, developed within the framework of a collaboration among ENEA, CNR, INFN, INFM, Sincrotrone Trieste and University of Rome Tor Vergata. The project is aimed at realising a SASE-FEL source, operating in the visible (around 500 nm), with an extended range of tunability down to the VUV (100 nm) by the use of the mechan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal for Research in Applied Science and Engineering Technology
سال: 2020
ISSN: 2321-9653
DOI: 10.22214/ijraset.2020.31523